A General Framework for Multi-Theory Logic Languages

@techreport{multitheorylogiclanguages-liatr96009,
   address = {Bologna, Italy},
   author = {Omicini, Andrea},
   institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
   keywords = {Multi-Theory Logic Languages, Object-Oriented Logic Programming, Modules},
   number = {DEIS-LIA-96-009},
   scholar = {11133488655293125604},
   series = {DEIS Technical Reports},
   subseries = {LIA Series},
   title = {A General Framework for Multi-Theory Logic Languages},
   volume = 16,
   year = 1996
}