Vol-1878⫷ Vol-1879 ⫸Vol-1880
urn:nbn:de:0074-1879-0


Vol-1879/paper38⫷Vol-1879/paper16⫸Vol-1879/paper15

Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)