Home
DCC eCatalog
O._L.__Astrachan
The use of lemmas in the model elimination procedure
