25,161
edits
Changes
no edit summary
=Selected Publications=
<ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf [ICGA Journal#RefDB|ICGA Reference Database] (pdf)]</ref> <ref>[http://dblp.uni-trier.de/pers/hd/b/Bratko:Ivan dblp: Ivan Bratko]</ref>
==1978 ...==
* [[Ivan Bratko]] ('''1978'''). ''Proving Correctness of Strategies in the AL1 Assertional Language''. Information Processing Letters, Vol. 7, No. 5, pp. 223-230. <ref>[[Donald Michie]] ('''1976'''). ''[http://portal.acm.org/citation.cfm?id=1045272 AL1: a package for generating strategies from tables]''. ACM SIGART Bulletin, Issue 59</ref>
