APA引文

Jaffar, J., Santosa, A., Voicu, R., & SCIENCE, C. (2013). A coinduction rule for entailment of recursively defined properties.

Chicago Style Citation

Jaffar, J., A.E Santosa, R. Voicu, and COMPUTER SCIENCE. A Coinduction Rule for Entailment of Recursively Defined Properties. 2013.

MLA引文

Jaffar, J., A.E Santosa, R. Voicu, and COMPUTER SCIENCE. A Coinduction Rule for Entailment of Recursively Defined Properties. 2013.

警告：這些引文格式不一定是100％准確.