Univ.-Prof. Dr. Aart Middeldorp   

KBO Orientability

Harald Zankl, Nao Hirokawa, and Aart Middeldorp
Journal of Automated Reasoning 43(2), pp. 173 – 201, 2009

abstract   bibtex   pdf (preprint)   doi:10.1007/s10817-009-9131-z
© Springer Science + Business Media B.V.