Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
Georg Gottlob and Reinhard Pichler
Details
| Journal |
Inf. Comput. |
| Number |
2 |
| Pages |
183−207 |
| Volume |
165 |
| Year |
2001 |
Links
Related pages
|
People |