@TechReport{Baader-Molitor-Tobies-LTCS-98a,
  author = 	 {F.~Baader and R.~Molitor and S.~Tobies},
  title = 	 {The Guarded Fragment of Conceptual Graphs},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1998,
  type =	 {LTCS-Report},
  address =      {Germany},
  number =	 {LTCS-98-10},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html},
  keywords =     {Guarded Fragment, Conceptual Graphs},
  issuedate =    {November 10, 1998}
}