Marc Lauritsen Knowing Documents. 184-191 1993 ICAIL http://doi.acm.org/10.1145/158976.159000 db/conf/icail/icail93.html#Lauritsen93