R. Alali, C. Durante, J. J. Mercier
A model for non interpreted structures of logical systems
DAC, 1984.
@inproceedings{DAC-1984-AlaliDM,
acmid = "800805",
author = "R. Alali and C. Durante and J. J. Mercier",
booktitle = "{Proceedings of the 21st Design Automation Conference}",
isbn = "0-8186-0542-1",
pages = "258--264",
publisher = "{ACM/IEEE}",
title = "{A model for non interpreted structures of logical systems}",
year = 1984,
}