Karl Schäfer
发表
Karl Schäfer,
K. Schäfer,
1996,
DISKI.
Christoph Brzoska,
Karl Schäfer,
1995,
Logic Programming: Formal Methods and Practical Applications.