@article {DBLP:journals/gis/MancarellaRRT04,
	title = {Integrating knowledge representation and reasoning in Geographical Information Systems},
	journal = {International Journal of Geographical Information Science},
	volume = {18},
	number = {4},
	year = {2004},
	pages = {417-447},
	author = {Paolo Mancarella and Alessandra Raffaet{\`a} and Chiara Renso and Franco Turini}
}
@article {MRRT03,
	title = {Integrating Knowledge Representation and Reasoning in Geographical},
	year = {2004},
	note = {information systems. {\em International Journal of GIS,Vol 18 (4), June }.},
	author = {Paolo Mancarella and Alessandra Raffaet{\`a} and Chiara Renso and Franco Turini}
}
@conference {DBLP:conf/birthday/MancarellaPR02,
	title = {Negation as Failure through Abduction: Reasoning about Termination},
	booktitle = {Computational Logic: Logic Programming and Beyond},
	year = {2002},
	pages = {240-272},
	author = {Paolo Mancarella and Dino Pedreschi and Salvatore Ruggieri}
}
@article {BCMMPRT94,
	title = {Implementations of Program Composition Operations},
	year = {1994},
	note = {Programming Language Implementation and Logic Programming Lecture Notes in Computer Science, volume 844,},
	pages = {292{\textendash}307},
	author = {Antonio Brogi and A. Chiarelli and Paolo Mancarella and V. Mazzotta and Dino Pedreschi and Chiara Renso and Franco Turini}
}
@conference {DBLP:conf/plilp/BrogiCMMPRT94,
	title = {Implementations of Program Composition Operations},
	booktitle = {PLILP},
	year = {1994},
	pages = {292-307},
	author = {Antonio Brogi and A. Chiarelli and Paolo Mancarella and V. Mazzotta and Dino Pedreschi and Chiara Renso and Franco Turini}
}
@conference {DBLP:conf/plilp/BrogiCMMPRT94,
	title = {Implementations of Program Composition Operations},
	booktitle = {PLILP},
	year = {1994},
	pages = {292-307},
	author = {Antonio Brogi and A. Chiarelli and Paolo Mancarella and V. Mazzotta and Dino Pedreschi and Chiara Renso and Franco Turini}
}
@article {DBLP:journals/toplas/BrogiMPT94,
	title = {Modular Logic Programming},
	journal = {ACM Trans. Program. Lang. Syst.},
	volume = {16},
	number = {4},
	year = {1994},
	pages = {1361-1398},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
@conference {DBLP:conf/meta/BrogiMPT92,
	title = {Meta for Modularising Logic Programming},
	booktitle = {META},
	year = {1992},
	pages = {105-119},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
@conference {DBLP:conf/iclp/BrogiMPT91,
	title = {Theory Construction in Computational Logic},
	booktitle = {ICLP Workshop on Construction of Logic Programs},
	year = {1991},
	pages = {241-250},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
@conference {DBLP:conf/slp/MancarellaPRT90,
	title = {Algebraic Properties of a Class of Logic Programs},
	booktitle = {NACLP},
	year = {1990},
	pages = {23-39},
	author = {Paolo Mancarella and Dino Pedreschi and Marina Rondinelli and Marco Tagliatti}
}
@conference {DBLP:conf/plilp/BrogiMPT90,
	title = {Logic Programming within a Functional Framework},
	booktitle = {PLILP},
	year = {1990},
	pages = {372-386},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
@article {DBLP:journals/jlp/BarbutiMPT90,
	title = {A Transformational Approach to Negation in Logic Programming},
	journal = {J. Log. Program.},
	volume = {8},
	number = {3},
	year = {1990},
	pages = {201-228},
	author = {Roberto Barbuti and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
@conference {DBLP:conf/ecai/BrogiMPT90,
	title = {Universal Quantification by Case Analysis},
	booktitle = {ECAI},
	year = {1990},
	pages = {111-116},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
@conference {DBLP:conf/iclp/MancarellaP88,
	title = {An Algebra of Logic Programs},
	booktitle = {ICLP/SLP},
	year = {1988},
	pages = {1006-1023},
	author = {Paolo Mancarella and Dino Pedreschi}
}
@article {DBLP:journals/jlp/MancarellaMP88,
	title = {Complete Logic Programs with Domain-Closure Axiom},
	journal = {J. Log. Program.},
	volume = {5},
	number = {3},
	year = {1988},
	pages = {263-276},
	author = {Paolo Mancarella and Simone Martini and Dino Pedreschi}
}
@conference {DBLP:conf/fgcs/BertolinoMMNPT88,
	title = {A Progress Report on the LML Project},
	booktitle = {FGCS},
	year = {1988},
	pages = {675-684},
	author = {Bruno Bertolino and Paolo Mancarella and Luigi Meo and Luca Nini and Dino Pedreschi and Franco Turini}
}
@conference {DBLP:conf/tapsoft/BarbutiMPT87,
	title = {Intensional Negation of Logic Programs: Examples and Implementation Techniques},
	booktitle = {TAPSOFT, Vol.2},
	year = {1987},
	pages = {96-110},
	author = {Roberto Barbuti and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
