Domain Theory Meets Default Logic

William C. Rounds, Guo-Qiang Zhang. Domain Theory Meets Default Logic. Journal of Logic and Computation, 5(1):1-25, 1995.

@article{RoundsZ95,
  title = {Domain Theory Meets Default Logic},
  author = {William C. Rounds and Guo-Qiang Zhang},
  year = {1995},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/RoundsZ95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Computation},
  volume = {5},
  number = {1},
  pages = {1-25},
}