Rolf Nossum
7 titler på Bookis
Lineær algebra
Decision algorithms for program verification
Programmer's guide to the PROVER system : THORALF - a theorem prover
Rør og rørdeler for skipsbygging : Utvalg av Norsk standard
Algebraic simplification in the PROVER system
A proof technique based on simplification
A uniform quantificational logic for algebraic notions of context
