> KBSS
> STILL
> IDA
> AIC
Pěchouček, M.
PĚCHOUČEK, M. Proof Planning in Multi-Agent Systems. [Unpublished Lecture] University of Edinburgh Department of AI. 1998-03-24.