Madalina Croitoru Ernesto Compatangelo A combinatorial approach to conceptual graph projection checking. 130-143 2004 SGAI Conf. http://dx.doi.org/10.1007/1-84628-102-4_10 conf/sgai/2004 db/conf/sgai/sgai2004.html#CroitoruC04