Return to Article Details Finiteness Conditions for Strictness Analysis Download Download PDF