Themis Panayiotopoulos Spyros Vosinakis Sophia Kousidou L. Balafa Visualising logic programs in virtual worlds. 186-187 1999 VRST http://doi.acm.org/10.1145/323663.323704 db/conf/vrst/vrst1999.html#PanayiotopoulosVKB99