Vol-1432⫷ Vol-1433 ⫸Vol-1434
urn:nbn:de:0074-1433-0


Vol-1433/tc_17⫷Vol-1433/tc_22⫸Vol-1433/tc_26
Patricia JohannEkaterina KomendantskayaVladimir Komendantskiy

Structural Resolution for Logic Programming