@misc{CTT100725492,
  author = {},
  title = {Computing circumscription for preference-based reasoning by logic programming},
  year = 1998,
}



@phdthesis{CTT100725492,
  author = {},
  title = {Computing circumscription for preference-based reasoning by logic programming},
  school = {東京工業大学},
  year = 1998,
}