Return to Article Details Strictness Types: An Inference Algorithm and an Application Download Download PDF