> KBSS
> STILL
> IDA
> AIC
Pěchouček, M.
PĚCHOUČEK, M. Proof Planning and Industrial Knowledge Based System. [Research Report] Praha: ČVUT FEL, Katedra řídicí techniky, 1997. Report no. GL-29/97.