01305nam0 22003493i 450 UBO000984720251003044417.00817635300376433530020081006d1990 ||||0itac50 baengusz01i xxxe z01nGraph-based proof procedures for Horn clausesStan RaatzBoston [etc.]Birkhauserc1990147 p.24 cm.Progress in computer science and applied logic10001MIL00983212001 Progress in computer science and applied logic10Programmazione logicaFIRCFIC136733EElaboratori elettroniciProgrammazioneFIRCFIC000860E005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Raatz, StanUBOV008041070771872ITIT-00000020081006IT-BN0095 NAP 01SALA DING $UBO0009847Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 RAA.gr 0102 0000009745 VMA A4 1 v.Y 1994042919940429 01Graph-based proof procedures for Horn clauses1575480UNISANNIO