| Authors | H. Linnestad, C. Prehofer and O. Lysne |
| Title | Higher Order Proof by Consistency |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 1996 |
| Conference Name | Foundations of Software Technology and Theoretical Computer Science, 16th Conference |
| Date Published | December |
| Publisher | Springer-Verlag |
| Place Published | Hyderabad, India |
| Citation Key | ND.5.Lysne.1995.c |
By thinking constantly about it…