Vol-1386⫷ Vol-1387 ⫸Vol-1388
urn:nbn:de:0074-1387-0


Vol-1387/paper2⫷Vol-1387/paper3⫸Vol-1387/paper6
Nicolas MatentzogluBijan ParsiaMichael Lee (disambiguation)Ulrike Sattler

Verifying Reasoner Correctness - A Justication Based Method