Open Logic Theory Composition in a Software Engineering Perspective
@inproceedings{lpse-iclp94,
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
editor = {Ciancarini, Paolo and Sterling, Leon},
location = {S. Margherita Ligure, GE, Italy},
month = {18~} # jun,
note = {Extended Abstract},
pages = {139--148},
title = {Open Logic Theory Composition in a Software Engineering Perspective},
year = 1994
}
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
editor = {Ciancarini, Paolo and Sterling, Leon},
location = {S. Margherita Ligure, GE, Italy},
month = {18~} # jun,
note = {Extended Abstract},
pages = {139--148},
title = {Open Logic Theory Composition in a Software Engineering Perspective},
year = 1994
}