Login / Signup

Crystal: Integrating Structured Queries into a Tactic Language.

Dominik DietrichEwaryst Schulz
Published in: J. Autom. Reason. (2010)
Keyphrases