| 1994 | ||
|---|---|---|
| 3 | Peter K. Rathmann, Marianne Winslett, Mark S. Manasse: Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems. J. ACM 41(5): 819-873 (1994) | |
| 1989 | ||
| 2 | Peter K. Rathmann, Marianne Winslett: Circumscribing Equality. IJCAI 1989: 468-476 | |
| 1986 | ||
| 1 | Peter K. Rathmann: The Cost of Locking. ICDT 1986: 365-379 | |
| 1 | Mark S. Manasse (Mark Manasse) | [3] |
| 2 | Marianne Winslett | [2] [3] |