@UNPUBLISHED{Schmidt94d, AUTHOR = {Schmidt, R. A.}, MONTH = {October}, YEAR = {1994}, TITLE = {Existential Graphs for Terminological Logics}, NOTE = {Manuscript.} URL = {http://www.cs.man.ac.uk/~schmidt/publications/EGforTL.ps.gz}, }