APIs and Synthetic Biology
Barely Legal Xxx Perl Presentation
P RACTICAL A NALYSIS OF N ON - T ERMINATION IN L ARGE L OGIC P ROGRAMS Senlin Liang and Michael Kifer.