PP235 | 1992 Paper in Conference Proceedings | Bundy,A; Hesketh,J; Smaill,AD |
---|---|---|
Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones | ||
CB234 | 1992 Chapter in Edited Book | Bundy,A |
Tutorial Notes: Reasoning about Logic Programs | ||
PP113 | 1992 Paper in Conference Proceedings | Baker,S; Ireland,A; Smaill,AD |
On the Use of the Constructive Omega-Rule within Automated Deduction |