- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |