| | 1996 | Basin, David A.
[Walsh, Toby] | | | A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180 | Journal Article | |
| | 1996 | Basin, David A.
[Walsh, Toby] | Zhang, Hantao | | A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180 | Part of a Book | |
| | 1994 | Basin, David A.
[Walsh, Toby] | Bundy, Alan | | Termination Orderings for Rippling
In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), 466-483 | Proceedings Article | |
| | 1994 | [Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A. | Cohn, Tony | | Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | Proceedings Article | |
| | 1993 | Basin, David A.
Walsh, Toby | Bajcsy, R. | | Difference Unification
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 116-122 | Proceedings Article | |
| | 1992 | Basin, David A.
Walsh, Toby | Kapur, D. | | Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309 | Proceedings Article | |
1 |
| Warren, David Scott (ed.) |
| |
1 |
| Williams, Denise A. (ed.) |
| |