Marianna Nicolosi Asmundo

	2007
4		Domenico Cantone, Marianna Nicolosi Asmundo: A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. J. Autom. Reasoning 38(1-3): 31-56 (2007)
	2003
3		Marianna Nicolosi Asmundo, Elvinia Riccobene: Consistent Integration for Sequential Abstract State Machines. Abstract State Machines 2003: 324-340
	1998
2		Domenico Cantone, Marianna Nicolosi Asmundo: A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) 1998: 109-125
	1997
1		Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo: Global Skolemization with Grouped Quantifiers. APPIA-GULP-PRODE 1997: 405-414

Coauthor Index

1	Domenico Cantone	[1] [2] [4]
2	Eugenio G. Omodeo	[1]
3	Elvinia Riccobene	[3]

Colors in the list of coauthors