Search
Comparing approaches to resolution based higher-order theorem proving
Vol. 133/1-2
Christoph Benzmüller
Volume
Title
Author