Constraining Objects as Logic Theories

@techreport{liaechrep-95002,
   address = {Bologna, Italy},
   apice = {LiaTechrep95002},
   author = {Omicini, Andrea},
   institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
   keywords = {Constraints, Object-Oriented Programming, Multi-Theory Logic Languages},
   number = {DEIS-LIA-95-002},
   series = {DEIS Technical Reports},
   subseries = {LIA Series},
   title = {Constraining Objects as Logic Theories},
   type = {DEIS Technical Report},
   volume = 2,
   year = 1995
}