Ivan Futó Ferenc Darvas Péter Szeredi The Application of Prolog to the Development of QA and BDS Systems. 347-376 1977 Logic and Data Bases db/conf/adbt/adbt77.html#FutoDS77