Torben Æ. Mogensen. Report on an Implementation of a Semi-inverter. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 322-334, Springer, 2006. [doi]
Abstract is missing.