Linguistic tools and deductive technique of the System for Automated Deduction (2002)

by Z Aselderov, K Verchinine, A Degtyarev, A Lyaletski, A Paskevich, A Pavlov
Venue:Implementation of Logics, the 3rd International Workshop “WIL 2002