EXPERIMENTS WITH RESOLUTION-BASED THEOREM-PROVING ALGORITHMSLUSK EL; OVERBEEK RA.1982; COMPUT. MATH. WITH APPL.; ISSN 0097-4943; USA; DA. 1982; VOL. 8; NO 2; PP. 141-152; BIBL. 7 REF.Article

DATA STRUCTURES AND CONTROL ARCHITECTURE FOR IMPLEMENTATION OF THEOREM-PROVING PROGRAMSOVERBEEK RA; LUSK EL.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 232-249; BIBL. 12 REF.Conference Paper

A DML FOR ENTITY-RELATIONSHIP MODELSLUSK EL; OVERBEEK RA.1980; ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN. INTERNATIONAL CONFERENCE ON ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN/1979/LOS ANGELES CA; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1980; PP. 445-461Conference Paper

PROBLEMS AND EXPERIMENTS FOR AND WITH AUTOMATED THEOREM-PROVING PROGRAMS.MCCHAREN JD; OVERBEEK RA; WOS LA et al.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 8; PP. 773-782; BIBL. 5 REF.Article

LOGIC MACHINE ARCHITECTURE: KERNEL FUNCTIONSLUSK EL; MCCUNE WW; OVERBEEK RA et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 70-84; BIBL. 8 REF.Conference Paper

LOGIC MACHINE ARCHITECTURE: INFERENCE MECHANISMSLUSK EL; MCCUNE WW; OVERBEEK RA et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 85-108; BIBL. 6 REF.Conference Paper

A PRACTICAL DESIGN METHODOLOGY FOR THE IMPLEMENTATION OF IMS DATABASES, USING THE ENTITY-RELATIONSHIP MODELLUSK EL; OVERBEEK RA; PARRELLO B et al.sdINTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA/1980/SANTA MONICA CA; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. S.D.; PP. 9-21; BIBL. 6 REF.Conference Paper