TY  - JOUR
AU  - Král, Jaroslav
TI  - The formulation of the problem of program segmentation in the terms of pseudoboolean programming
JO  - Kybernetika
PY  - 1968
SP  - 6
EP  - 11
VL  - 4
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/KYB_1968_4_1_a1/
LA  - en
ID  - KYB_1968_4_1_a1
ER  -