Theorem proving in infinite herbrand dom
β
Y. Y. Samokhvalov
π
Article
π
1997
π
Springer US
π
English
β 349 KB