Emmanuil I. Marakakis

	2006
3		Emmanuil I. Marakakis, Chara Kounali, Kostas Vassilakis: A method for removing unused arguments from logic programs. Artificial Intelligence and Soft Computing 2006: 197-202
	2005
2		Emmanuil I. Marakakis: Guided Correctness Proofs of Logic Programs. Artificial Intelligence and Applications 2005: 668-673
	1994
1		Emmanuil I. Marakakis, John P. Gallagher: Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. LOPSTR 1994: 138-153

Coauthor Index

1	John P. Gallagher	[1]
2	Chara Kounali	[3]
3	Kostas Vassilakis	[3]

Colors in the list of coauthors