=Paper=
{{Paper
|id=Vol-4239/paper-Farjami-14
|storemode=property
|title=Constrained Input/Output Logic in HOL:
      An Algebraic Embedding
|pdfUrl=https://ceur-ws.org/Vol-4239/paper-Farjami-14.pdf
|volume=Vol-4239
|authors=Ali Farjami,Luca Pasetto
}}
==Constrained Input/Output Logic in HOL:
      An Algebraic Embedding==
<pdf width="1500px">https://ceur-ws.org/Vol-4239/paper-Farjami-14.pdf</pdf>
<pre>
None
</pre>