Vol-450⫷ Vol-451 ⫸Vol-452
urn:nbn:de:0074-451-0


Vol-451/paper-10⫷Vol-451/paper-11⫸Vol-451/paper-12
Fabrizio Riguzzi

The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions