| | 1996 | Basin, David A.
[Walsh, Toby] | | A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180 | Part of a Book | |
| | 1996 | Basin, David A.
[Walsh, Toby] | | A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180 | Journal Article | |
| | 1994 | [Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A. | | 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 | |
| | 1992 | Basin, David A.
Walsh, Toby | | 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.) |
| |