Mark S. Manasse
Peter K. Rathmann, Marianne Winslett, and Mark Manasse.
Circumscription with homomorphisms: Solving the equality and counterexample problems.
Journal of the ACM
, 41(5):819-873, September 1994.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database