@article {3962,
	title = {Undecidability of Finite Model Reasoning in DLFD},
	journal = {ArXiv},
	volume = {abs/1408.4468},
	year = {2014},
	url = {http://arxiv.org/abs/1408.4468},
	author = {David Toman and Grant Weddell}
}
