Adding Equivalence Classes to Stalmarck's Method in First Order Logic. - Magnus Björk (IJCAR Doctoral Programme, 2004)

A First Order Extension of Stålmarck's Method. - Magnus Björk (LPAR, 2005)

Automatic Abstraction in Symbolic Trajectory Evaluation. - Sara Adams; Magnus Björk; Thomas F. Melham; Carl-Johan H. Seger (FMCAD, 2007)

A Flexible Datapath Interconnect for Embedded Applications. - Magnus Själander; Per Larsson-Edefors; Magnus Björk (ISVLSI, 2007)

First Order Stålmarck. - Magnus Björk (J. Autom. Reason., 2009)

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing. - Martin Thuresson; Magnus Själander; Magnus Björk; Lars J. Svensson; Per Larsson-Edefors; Per Stenström (J. Signal Process. Syst., 2009)

Successful SAT Encoding Techniques. - Magnus Björk (J. Satisf. Boolean Model. Comput., 2011)

Fly-The-Bee: A Game Imitating Concept Learning in Bees. - Denis Kleyko; Evgeny Osipov; Magnus Björk; Henrik Toresson; Anton Öberg (BICA, 2015)