Subtype Satisfiability and Entailment

Publication details

Tim Priesnitz

PhD Thesis, 2004

@PHDTHESIS{phd-priesnitz,
  title = {Subtype Satisfiability and Entailment},
  author = {Tim Priesnitz},
  year = {2004},
}