English Andrei Voronkov Cited by user Duncan.Hull on 08 Aug 2016 Voronkov's research has been funded by the Engineering and Physical Sciences Research Council.
English Vampire (theorem prover) Cited by user Duncan.Hull on 23 May 2013 A number of efficient indexing techniques are used to implement all major operations on sets of terms and clauses.