APA (7th ed.) Citation

Dennis, L. A., Bundy, A., Green, I., & McCune, W. (1999). Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. Springer.

Chicago Style (17th ed.) Citation

Dennis, Louise Abigail, Alan Bundy, Ian Green, and William McCune. Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs. Springer, 1999.

MLA (9th ed.) Citation

Dennis, Louise Abigail, et al. Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs. Springer, 1999.