Christian Mancas Simona Dragomir Laviania Crasovschi On Modeling First Order Predicate Calculus using the Elementary Mathematical Data Model in MatBase DBMS. 1197-1202 2003 conf/appinf/2003 Applied Informatics db/conf/appinf/appinf2003.html#MancasDC03