| Title | Undecidability of Finite Model Reasoning in DLFD |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Toman, D., and G. Weddell |
| Journal | ArXiv |
| Volume | abs/1408.4468 |
| URL | http://arxiv.org/abs/1408.4468 |
| Title | Undecidability of Finite Model Reasoning in DLFD |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Toman, D., and G. Weddell |
| Journal | ArXiv |
| Volume | abs/1408.4468 |
| URL | http://arxiv.org/abs/1408.4468 |
