Jonathan C. Martin

	2006
5		Andy King, Jonathan C. Martin: Control Generation by Program Transformation. Fundam. Inform. 69(1-2): 179-218 (2006)
	2004
4		Jonathan C. Martin, Andy King: On the Inference of Natural Level Mappings. Program Development in Computational Logic 2004: 432-452
	1999
3		Jonathan C. Martin, Michael Leuschel: Sonic Partial Deduction. Ershov Memorial Conference 1999: 101-112
	1997
2		Jonathan C. Martin, Andy King: Generating Efficient, Terminating Logic Programs. TAPSOFT 1997: 273-284
	1996
1		Jonathan C. Martin, Andy King, Paul Soper: Typed Norms for Typed Logic Programs. LOPSTR 1996: 224-238

Coauthor Index

1	Andy King	[1] [2] [4] [5]
2	Michael Leuschel	[3]
3	Paul Soper	[1]

Colors in the list of coauthors