@article{KreowskiMossakowski95,
  abstract = {In this paper, we investigate several logical frameworks whose expressiveness lies between Conditional Equational Logic and Horn Clause Logic. The main result deals with the  PART-construction, which interprets total based algebras as partial algebras. This construction can be viewed as a simulation of Horn Clause Theories by means of Conditional Equational Theories. Other constructions in other frameworks are extendable to simulations in a similar way. The notion of categorical retractive simulation captures some essential properties of these, which allow to measure the equivalence and difference between institutions. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Kreowski, H.-J. and Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/2834e489c3e62d0614021b76f0811b260/tillmo},
  interhash = {715eda05b278f18ca5a5e0db0bfa58f1},
  intrahash = {834e489c3e62d0614021b76f0811b260},
  journal = {Mathematical Structures in Computer Science},
  keywords = {imported},
  pages = {189--215},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/simul2.ps},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Equivalence and Difference of Institutions: Simulating {H}orn Clause Logic With Based Algebras},
  volume = 5,
  year = 1995
}