APA (7th ed.) Citation

Kazakov, Y., & de Nivelle, H. (2004). A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Springer.

Chicago Style (17th ed.) Citation

Kazakov, Y., and H. de Nivelle. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Springer, 2004.

MLA (9th ed.) Citation

Kazakov, Y., and H. de Nivelle. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Springer, 2004.

Warning: These citations may not always be 100% accurate.