Formal Description of Design in Visual Prolog
Šilar, Z., Jelínek, I.
ŠILAR, Z. and I. JELÍNEK. Formal Description of Design in Visual Prolog. In: Proceedings of Workshop 2003 (online). Workshop 2003, Praha, 2003-02-10/2003-02-12. Praha: Czech Technical University in Prague, 2003. p. 272-273. ISBN 80-01-02708-2. Available from: http://web.cvut.cz/ctu/research/workshop/ws2003.pdf