Priority and Maximal Progress are completely axiomatisable (Extended Abstract) (1998)

by Holger Hermanns , Markus Lohrey
Citations:14 - 5 self