Drupal-Bibcite<style face="normal" font="default" size="100%">Syntheto: A Surface Language for APT and ACL2</style> }²EvõI$ÇNmõqcã]aõI$òX²QG$äLc²QBÕ)iA²GkõOg÷<²0iþ Ua°&]hñ YtÍKsâYhäKKgâuùY&½K ( ^ ?¤]{íêk<(€ÿÿhî€ÿÿ÷€ÿÿ8ð€ÿÿÈí€ÿÿ8õ€ÿÿ ó^Dô€ÿÿ`ó^D¸Ú€ÿÿˆ¶€ÿÿ`zXDàó^Dbj­ |5äéy}¡ü.h á}2»üalà¡'aäüfu»¦-náõoo±æm<»üalà¡uqàüfu»¦-häÔ,L§äbu¦ï.r­þknèûz}ºükxæÔ,5äüfu»¦-hæîgr¡ûfy¬ '`´üfu»¦-hæúkv­ëz4¦íy<ú|sº R>˜çbp¡æi<»üal¸íj@ê¡'0¼àgoæ«`:î mp­é|U¦ükn¾éb4¼àgoæ«`5äüfu»¦-rõþau¬¨>5µúko½ä