@article{Shostak_1984,
doi = {10.1145/2422.322411},
url = {https://doi.org/10.1145%2F2422.322411},
year = {1984},
month = {jan},
publisher = {Association for Computing Machinery ({ACM})},
volume = {31},
number = {1},
pages = {1--12},
author = {Robert E. Shostak},
title = {Deciding Combinations of Theories},
journal = {Journal of the {ACM}}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A