1. A. Fusaoka, H. Seki, K. Takahashi:“Description and Reasoning of VLSI Circuit in Temporal Logic”, 79–91, New Generation Computing, An International Journal on Fifth Generation Computers, Springer-Verlag NGC Vol. 2, No. 1, 1984
2. T. Uehara, N. Kawato:“Logic Circuit Synthesis Using PROLOG”, 187–195, New Generation Computing, An International Journal on Fifth Generation Computers, Springer-Verlag NGC, Vol. 1, No. 2, 1983
3. K. Matsumo, T. Wake, T. Sakaguchi: “Fault Diagnosis of a Power System”, Expert Systems, Vol. 2, No. 3, 1985
4. H. Mori, K. Mitsumoto, T. Fujita, S. Goto: “Knowledge-based VLSI routing system-WIREX”, Proc. of ICOT 1984
5. H.J. Rothermel, D.A. Mlynski: “Routing Method for VLSI Design using Irregular Cells”, No. 20 Design Aut. Conf. 1983, USA, pp. 257–263