Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
Georg Gottlob and Reinhard Pichler
Details
| Book Title |
LICS |
| Pages |
306−315 |
| Year |
1999 |
Links
Related pages
|
People |