A general first-order solution to the ramification problem with cycles

Hannes StraßHannes Straß, Michael ThielscherMichael Thielscher

Hannes Straß, Michael Thielscher
A general first-order solution to the ramification problem with cycles
Journal of Applied Logic, 11(3):289--308, 2013

Details
Bibtex

@article{ST2013,
  author  = {Hannes Stra{\ss} and Michael Thielscher},
  title   = {A general first-order solution to the ramification problem with
             cycles},
  journal = {Journal of Applied Logic},
  volume  = {11},
  number  = {3},
  year    = {2013},
  pages   = {289--308},
  doi     = {10.1016/j.jal.2013.05.003}
}