Active Bibliography

53 On Shostak's Decision Procedure for Combinations of Theories – David Cyrluk, Patrick Lincoln, Natarajan Shankar - 1996