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] |