| |
| 1998 | ||
|---|---|---|
| 1 | Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy: Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. 22(3-4): 259-279 (1998) | |
| 1 | Alessandro Armando | [1] |
| 2 | Alan Bundy | [1] |
| 3 | Alan Smaill | [1] |