@misc{9971,
  author = {H. Linnestad and C. Prehofer and Olav Lysne},
  title = {Higher Order Proof by Consistency},
  year = {1996},
  journal = {Foundations of Software Technology and Theoretical Computer Science, 16th Conference},
  month = {December},
  publisher = {Springer-Verlag},
  address = {Hyderabad, India},
}