SPIDER - a language for control network programing. - Tzanko Golemanov; K. Krachanov; Emilia Golemanova (CompSysTech, 2000)

Built-in faculties of SPIDER programming language for heuristic algorithms implementation. - Emilia Golemanova; Tzanko Golemanov; K. Krachanov (CompSysTech, 2000)

ERP-Module for computer catalogue automatic generation. - Tzanko Golemanov; Emilia Golemanova (CompSysTech, 2003)

ERP-system: marketing analysis module. - Tzanko Golemanov; Emilia Golemanova (CompSysTech, 2004)

ERP-system: a commercial goods planning module. - Tzanko Golemanov; Emilia Golemanova (CompSysTech, 2004)

Control Network Programming. - Kostadin Kratchanov; Tzanko Golemanov; Emilia Golemanova (ACIS-ICIS, 2007)

Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation. - Kostadin Kratchanov; Emilia Golemanova; Tzanko Golemanov (ACIS-ICIS, 2008)

Spider vs. Prolog: simulating Prolog in Spider. - Tzanko Golemanov; Kostadin Kratchanov; Emilia Golemanova (CompSysTech, 2009)

Spider vs. Prolog: computation control. - Emilia Golemanova; Kostadin Kratchanov; Tzanko Golemanov (CompSysTech, 2009)

Control Network Programming with SPIDER: Dynamic Search Control. - Kostadin Kratchanov; Tzanko Golemanov; Emilia Golemanova; Tuncay Ercan (KES (2), 2010)

Non-procedural Implementation of Local Heuristic Search in Control Network Programming. - Kostadin Kratchanov; Emilia Golemanova; Tzanko Golemanov; Tuncay Ercan (KES (2), 2010)

Using control network programming in teaching nondeterminism. - Kostadin Kratchanov; Emilia Golemanova; Tzanko Golemanov; Burcu Külahçioglu (CompSysTech, 2012)

Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming. - Kostadin Kratchanov; Emilia Golemanova; Tzanko Golemanov; Tuncay Ercan; Burak Ekici (CoRR, 2014)

Declarative Implementations of Genetic Algorithms in Control Network Programming. - Emilia Golemanova; Tzanko Golemanov (CompSysTech, 2019)

A Set of Tools to Teach Language Processors Construction. - Tzanko Golemanov; Emilia Golemanova (CompSysTech, 2020)

Declarative and Imperative Approaches for Proving Turing Completeness of SPIDER. - Emilia Golemanova; Tzanko Golemanov (CompSysTech, 2020)