A Mechanism for Verification of Knowledge Base Scheme Specifications

@inproceedings{Casamayor1993AMF,
  title={A Mechanism for Verification of Knowledge Base Scheme Specifications},
  author={Juan Carlos Casamayor and Francisco Marqu{\'e}s and Hendrik Decker},
  booktitle={EUROVAV},
  year={1993}
}