Index-Sets of Factor-Objects of the Post Numbering

@inproceedings{Selivanov1987IndexSetsOF,
  title={Index-Sets of Factor-Objects of the Post Numbering},
  author={Victor L. Selivanov},
  booktitle={FCT},
  year={1987}
}