@inproceedings{PADL-2018-StulovaMH,
	author        = "Nataliia Stulova and José F. Morales and Manuel V. Hermenegildo",
	booktitle     = "{Proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages}",
	doi           = "10.1007/978-3-319-73305-0_7",
	isbn          = "['978-3-319-73304-3', '978-3-319-73305-0']",
	pages         = "99--115",
	publisher     = "{Springer}",
	title         = "{Exploiting Term Hiding to Reduce Run-Time Checking Overhead}",
	year          = 2018,
}