@Article{kane2004a,
  author =       "K. Kaneiwa",
  title =        "The completeness of logic programming with sort predicates",
  journal =      "Systems and Computers in Japan",
  volume =       "35",
  number =       "1",
  publisher =    "John Wiley {&} Sons", 
  year   =       "2004 (to appear)"
}