Frank van Harmelen
- Notice that this is a meta-diagnostic problem, since we
are diagnosing failures in diagnostic methods.
- Terms beginning with a capital letter will denote variables.
- We write #-min for number-minimality, and = for the identity
- We write 36#36 for subset-minimality.
Fri Oct 4 13:40:35 MET DST 1996