Predicate formal system V UL - h∈[0.75,1] and its completeness
MA Ying-cang 1,3,HE Hua-can 2
Computer Engineering and Applications . 2010, (34): 17 -20 .  DOI: 10.3778/j.issn.1002-8331.2010.34.006