Yasuo Namioka, Toshikazu Tanaka. Knowledge Compilation for Interactive Design of Sequence Control Programs. In Takushi Tanaka, Setsuo Ohsuga, Moonis Ali, editors, Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Proceedings of the Ninth International Conference, Fukuoka, Japan, June 4-7, 1996. pages 363-368, Gordon and Breach Science Publishers, 1996.
Abstract is missing.