"The Completeness of a Hardware Inference System."

Zheng Zhu, Carl-Johan H. Seger (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics