Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco Layered map reasoning: an experimental approach put to trial on sets. (English) Zbl 1263.03008 Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 1-28 (2001). MSC: 03B35 03E30 03G15 68T15 PDFBibTeX XMLCite \textit{A. Formisano} et al., Electron. Notes Theor. Comput. Sci. 48, 1--28 (2001; Zbl 1263.03008) Full Text: DOI
Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco Goals and benchmarks for automated map reasoning. (English) Zbl 0965.03014 J. Symb. Comput. 29, No. 2, 259-297 (2000). MSC: 03B35 03G99 68T15 08B05 PDFBibTeX XMLCite \textit{A. Formisano} et al., J. Symb. Comput. 29, No. 2, 259--297 (2000; Zbl 0965.03014) Full Text: DOI Link