BibTeX

@techreport{koenig:1992ieice,
  author = {K{รถ}nig, Esther},
  title = {An Efficient Decision Algorithm for Feature Logic},
  institution = {Institute of Electronics, Information and Communication Engineers},
  year = {1992},
  type = {Technical Report},
  number = {vol. 91, no. 415},
  address = {Tokyo, Japan}
}