Combined means of signature-logic analys
β
Yu. S. Solonetskii
π
Article
π
1996
π
Springer US
π
English
β 298 KB