Jameleddine Hassine, Rachida Dssouli, Juergen Rilling. Applying Reduction Techniques to Software Functional Requirement Specifications. In Daniel Amyot, Alan W. Williams, editors, System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Volume 3319 of Lecture Notes in Computer Science, pages 138-153, Springer, 2004. [doi]
Abstract is missing.