<?xml version="1.0" encoding="UTF-8"?>
<xml><records><RECORD><source-app name="Bibcite" version="8.x">Drupal-Bibcite</source-app><REFERENCE_TYPE>31</REFERENCE_TYPE><CONTRIBUTORS><AUTHORS><AUTHOR><style face="normal" font="default" size="100%">Jan Christiansen</style></AUTHOR><AUTHOR><style face="normal" font="default" size="100%">Daniel Seidel</style></AUTHOR><AUTHOR><style face="normal" font="default" size="100%">Janis Voigtländer</style></AUTHOR></AUTHORS></CONTRIBUTORS><TITLES><TITLE><style face="normal" font="default" size="100%">Free Theorems for Functional Logic Programs</style></TITLE></TITLES><KEYWORDS/><DATES/><AUTHORS><style face="normal" font="default" size="100%"/></AUTHORS><YEAR><style face="normal" font="default" size="100%">2010</style></YEAR><SECONDARY_TITLE><style face="normal" font="default" size="100%">Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification</style></SECONDARY_TITLE><PAGES><style face="normal" font="default" size="100%">39-48</style></PAGES><title><style face="normal" font="default" size="100%">Free Theorems for Functional Logic Programs</style></title></RECORD></records></xml>
