TY - CONF T1 - A Framework for Requirements Analysis Using Automated Reasoning JO - CAiSE UR - https://doi.org/10.1007/3-540-59498-1 PY - 1995/01/01 AU - Duffy DA AU - MacNish C AU - McDermid JA AU - Morris P ED - Iivari J ED - Lyytinen K ED - Rossi M PB - Springer VL - 932 SP - 68 EP - 81 Y2 - 2025/05/31 ER -