On the Expressive Power of Circumscriptions | 0 | 0.34 | 1988 |
On the Expressive Power of Equality-Free First Order Languages | 0 | 0.34 | 1986 |
A partial solution of the finite spectrum problem | 0 | 0.34 | 1985 |
On the number of zero order interpolants | 0 | 0.34 | 1984 |
A theory of finite functions, Part I., On finite trees associated to certain finite functions | 0 | 0.34 | 1983 |
A method for minimizing partially defined Boolean functions | 0 | 0.34 | 1979 |
A note on symmetric Boolean functions | 0 | 0.34 | 1977 |
An effective theorem proving algorithm | 0 | 0.34 | 1977 |