![]() | 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] |