Proceedings
The extended abstracts appeared electronically as a report of Tallinn University of Technology [doi: 10.23658/taltech.nwpt/2019] (ISBN 978-9949-83-520-1, electronic).
A selection of full papers will appear as a special issue of Elsevier's J. Log. Algebraic Methods Program.
