1 research outputs found
Detecting redundant clauses or premises within logic-oriented database schemas
No full textSIGLETIB Hannover: RO 8347(1989,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
No full text