Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming

MLA

César A. Muñoz, and Hélène Kirchner. “Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming.” Electronic Proceedings in Theoretical Computer Science, vol. 44, Dec. 2010. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi...........52d41446cc3eeb9fc218ffcc66b546ac&authtype=sso&custid=ns315887.

APA

César A. Muñoz, & Hélène Kirchner. (2010). Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming. Electronic Proceedings in Theoretical Computer Science, 44.

Chicago

César A. Muñoz, and Hélène Kirchner. 2010. “Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming.” Electronic Proceedings in Theoretical Computer Science 44 (December). http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi...........52d41446cc3eeb9fc218ffcc66b546ac&authtype=sso&custid=ns315887.