J. Urgen Stuber

Computing Stable Models by Program Transformation

J. Urgen Stuber, 1994 .

Superposition Theorem Proving for Abelian Groups Represented as Integer Modules

J. Urgen Stuber, J Urgen Stuber, 1996 .