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